25.1. When the pensionable salary of an employee who ceases to be a member of the plan at the end of a year is related to service credited for the last days of membership during that year but is paid at the beginning of the following year, it is deemed to be pensionable salary for the year in which it is paid even if no service is credited for that year.